#include "defines.h"

#define TICKS_6_MS   6        // 0.006s * 1024 ticks/s

#define REL_TIMER_OFFSET 12  // Timer offset (overhead) for release builds.
#define DBG_TIMER_OFFSET 18  // Timer offset (overhead) for debug builds

// Global variables.
extern volatile unsigned int gTimer;   // Used to extend HW 16 bit counter to 32 bits.

void StopWatchdog(void);

void ConfigPorts(void);

void UnconfigPorts(void);

void ConfigUART(void);

void ConfigClocks();

void SetTimerMS(unsigned int ticks, unsigned char interrupts);

unsigned char CheckTimer(void);

void StopTimer(void);

void SetTimer(unsigned long ticks);

extern void SetTimerMax(unsigned long ticks);

extern void WaitTimer(void);

void goSleepVLO(void);

extern void goSleep(void);

void SetDCO(unsigned int ticks);

//extern const imageType images[];

extern unsigned int getTemperatureA2D(void);

//void DisplaySlideNoTC(const unsigned char *pParams);

void ElecEraseNoTC(const unsigned char *pParams);

